highest_common_factor
